00100	         WHAT PROBLEMS SHOULD SEMANTICS TRY TO SOLVE?
00200	
00300		In our view, semantics is concerned with the definition
00400	and properties of a function
00500		meaning(e,s)
00600	where  %e%  is  an  expression  in  some  language and %s% is a
00700	situation.   The set of expressions  allowed  and  the  set  of
00800	situations  in which their meanings are to be discussed must be
00900	decided before an attempt is made to give a definition.
01000	
01100		In the well-studied case of functional calculus, the
01200	expressions are the well formed formulas (wffs), the situation
01300	is given by an interpretation of the free letters in
01400	the wffs as elements, predicates or functions, or
01500	functionals of higher order according to type.  The rule
01600	that gives the truth value of a wff is defined pseudo-recursively
01650	and constitutes the semantics of the language.
01700	If the language includes terms as well as wffs, then certain